Automated mediator synthesis: combining behavioural and ontological reasoning

Software systems are increasingly composed of independently developed heterogeneous components. To ensure interoperability, mediators are needed that coordinate actions and translate exchanged messages between the components. We present a technique for automated synthesis of mediators, by means of a quotient operator, that is based on behavioural models of the components and an ontological model of the data domain. By not requiring a specification of the composed system, the method supports both off-line and run-time synthesis. The obtained mediator is the most general component that ensures freedom of both communication mismatches and deadlock in the composition. Validation of the approach is given by implementation of a prototype tool, while applicability is illustrated on heterogeneous holiday booking components

Automatic service categorisation through machine learning in emergent middleware

The modern environment of mobile, pervasive, evolving services presents a great challenge to traditional solutions for enabling interoperability. Automated solutions appear to be the only way to achieve interoperability with the needed level of flexibility and scalability. While necessary, the techniques used to determine compatibility, as a precursor to interaction, come at a substantial computational cost, especially when checks are performed between systems in unrelated domains. To overcome this, we apply machine learning to extract high-level functionality information through text categorisation of a system's interface description. This categorisation allows us to restrict the scope of compatibility checks, giving an overall performance gain when conducting matchmaking between systems. We have evaluated our approach on a corpus of web service descriptions, where even with moderate categorisation accuracy, a substantial performance benefit can be found. This in turn improves the applicability of our overall approach for achieving interoperability in the Connect project

Palaeoenvironment of Eocene prodelta in Spitsbergen recorded by the trace fossil Phycosiphon incertum

Ichnological, sedimentological and geochemical analyses were conducted on the Eocene Frysjaodden Formation in order to interpret palaeoenvironment prodelta sediments in the Central Basin of Spitsbergen. Phycosiphon incertum is the exclusive ichnotaxon showing differences in size, distribution, abundance and density, and relation to laminated/bioturbated intervals. Large P. incertum mainly occur dispersed, isolated and randomly distributed throughout the weakly laminated/non-laminated intervals. Small P. incertum occur occasionally in patches of several burrows within laminated intervals or as densely packed burrows in thin horizons in laminated intervals or constituting fully bioturbated intervals that are several centimetres thick. Ichnological changes are mainly controlled by oxygenation, although the availability of benthic food cannot be discarded. Changes in oxygenation and rate of sedimentation can be correlated with the registered variations in the Bouma sequence of the distal turbiditic beds within prodeltal shelf sediments.Funding for this research was provided by Project CGL2012-33281 (Secretaría de Estado de Investigación, Desarrollo e Innovación, Spain), Project RYC-2009-04316 (Ramón y Cajal Programme) and Projects RNM-3715 and RNM-7408 and Research Group RNM-178 (Junta de Andalucía). The authors benefited from a bilateral agreement between the universities of Granada and Oslo, supported by the University of Granada

Application-Layer Connector Synthesis

International audienceThe heterogeneity characterizing the systems populating the Ubiquitous Computing environment prevents their seamless interoperability. Heterogeneous protocols may be willing to cooperate in order to reach some common goal even though they meet dynamically and do not have a priori knowledge of each other. Despite numerous e orts have been done in the literature, the automated and run-time interoperability is still an open challenge for such environment. We consider interoperability as the ability for two Networked Systems (NSs) to communicate and correctly coordinate to achieve their goal(s). In this chapter we report the main outcomes of our past and recent research on automatically achieving protocol interoperability via connector synthesis. We consider application-layer connectors by referring to two conceptually distinct notions of connector: coordinator and mediator. The former is used when the NSs to be connected are already able to communicate but they need to be speci cally coordinated in order to reach their goal(s). The latter goes a step forward representing a solution for both achieving correct coordination and enabling communication between highly heterogeneous NSs. In the past, most of the works in the literature described e orts to the automatic synthesis of coordinators while, in recent years the focus moved also to the automatic synthesis of mediators. Within the Connect project, by considering our past experience on automatic coordinator synthesis as a baseline, we propose a formal theory of mediators and a related method for automatically eliciting a way for the protocols to interoperate. The solution we propose is the automated synthesis of emerging mediating connectors (i.e., mediators for short)

The Effects of Health Insurance and a Usual Source of Care on a Child’s Receipt of Health Care

This paper focuses on active networks applications and in particular on the possible interactions among these applications. Active networking is a very promising research field which has been developed recently, and which poses several interesting challenges to network designers. A number of proposals for efficient active network architectures are already to be found in the literature. However, how two or more active network applications may interact has not being investigated so far. In this work, we consider a number of applications that have been designed to exploit the main features of active networks and we discuss what are the main benefits that these applications may derive from them. Then, we introduce some forms of interaction including interference and communications among applications, and identify the components of an active network architecture that are needed to support these forms of interaction. We conclude by presenting a brief example of an active network application exploiting the concept of interaction